xen/evtchn: Pass max_evtchn_port into evtchn_init()
authorAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 16 Mar 2018 18:27:24 +0000 (18:27 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Wed, 15 Aug 2018 18:40:28 +0000 (19:40 +0100)
commit4cdb6bfde2300c75725b3e267469bd6c9eeee55e
treeb204f594cfa521b6b33c618f1fc6abf25cdfab33
parent4a83497635056d33fe20ef705f35617b1003a276
xen/evtchn: Pass max_evtchn_port into evtchn_init()

... rather than setting it up once domain_create() has completed.  This
involves constructing a default value for dom0.

No practical change in functionality.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Roger Pau Monné <roger.pau@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Julien Grall <julien.grall@arm.com>
xen/arch/arm/setup.c
xen/arch/x86/setup.c
xen/common/domain.c
xen/common/domctl.c
xen/common/event_channel.c
xen/include/xen/sched.h